Canonical structure in the universe of set theory: part two
نویسندگان
چکیده
We prove a number of consistency results complementary to the ZFC results from our paper [4]. We produce examples of non-tightly stationary mutually stationary sequences, sequences of cardinals on which every sequence of sets is mutually stationary, and mutually stationary sequences not concentrating on a fixed cofinality. We also give an alternative proof for the consistency of the existence of stationarily many non-good points, show that diagonal Prikry forcing preserves certain stationary reflection properties, and study the relationship between some simultaneous reflection principles. Finally we show that the least cardinal where square fails can be the least inaccessible, and show that weak square is incompatible in a strong sense with generic
منابع مشابه
Topological structure on generalized approximation space related to n-arry relation
Classical structure of rough set theory was first formulated by Z. Pawlak in [6]. The foundation of its object classification is an equivalence binary relation and equivalence classes. The upper and lower approximation operations are two core notions in rough set theory. They can also be seenas a closure operator and an interior operator of the topology induced by an equivalence relation on a u...
متن کاملThe Qur’an and Mysticism On The Universe of Two Sides
The universe has an exterior known as the material world and an interior called the “hereafter.” So are the Qur’an and mankind. In other words, the universe, mankind and the Qur’an have hierarchical stages. The universe and mankind comprise the physical world, but the Qur’an constitutes the Divine Law. Since the origin of all three is one single source, one can say the former matches t...
متن کاملA synthetic axiomatization of Map Theory
This paper presents a substantially simplified axiomatization of Map Theory and proves the consistency of this axiomatization in ZFC under the assumption that there exists an inaccessible ordinal. Map Theory axiomatizes lambda calculus plus Hilbert’s epsilon operator. All theorems of ZFC set theory including the axiom of foundation are provable in Map Theory, and if one omits Hilbert’s epsilon ...
متن کاملCorrelation Pattern between Temperatur, Humidity and Precipitaion by using Functional Canonical Correlation
Understanding dependence structure and relationship between two sets of variables is of main interest in statistics. When encountering two large sets of variables, a researcher can express the relationship between the two sets by extracting only finite linear combinations of the original variables that produce the largest correlations with the second set of variables. When data are con...
متن کاملNoether Symmetry in f(T) Theory at the anisotropic universe
As it is well known, symmetry plays a crucial role in the theoretical physics. On other hand, the Noether symmetry is a useful procedure to select models motivated at a fundamental level, and to discover the exact solution to the given lagrangian. In this work, Noether symmetry in f(T) theory on a spatially homogeneous and anisotropic Bianchi type I universe is considered. We discuss the Lagran...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 142 شماره
صفحات -
تاریخ انتشار 2006